@import 'setting';

.wp_syntax { color: #100; background-color: #f9f9f9; border: 1px solid silver; margin: 0 0 1.5em 0; overflow: auto;
  // IE FIX
  overflow-x: auto; overflow-y: hidden; width: 99%;
  padding-bottom: expression(this.scrollWidth > this.offsetWidth ? 15 : 0);

  table { border: none; border-collapse: collapse; margin: 0; padding: 0; width: 100%}
  caption { margin: 0; padding: 2px 0; width: 100%; background-color: #def; text-align: left;
    font-family: $codeFontFamily; font-size: 12px; line-height: 1.2em;
    a { color: #1982d1; text-align: left;
      font-size: 12px; line-height: 16px; text-decoration: none;
      &:hover { color: #1982d1; text-decoration: underline;}
    }
  }

  div, td { border: none; text-align: left; padding: 0; vertical-align: top;}
  td {
    &.code { line-height: normal; white-space: normal; width: 100%; padding: 0;
    background-color: #EEE;
    background-image: linear-gradient( transparent 50%, rgba(255, 255, 255, .9) 50% );
    background-size : 1px 48px;
    }
    &.line_numbers pre { background-color: #def; color: gray; text-align: right; min-width: 16px;}
  }
  pre { margin: 0; font-family: $codeFontFamily !important; border: none; padding: 0 4px;
    font-size: 14px; line-height: 24px; white-space: pre;
  }
}
